Listing 1 - 10 of 53 | << page >> |
Sort by
|
Choose an application
Choose an application
Information systems --- 681.3*H --- 681.3*H Information systems
Choose an application
Programming --- Computerized typesetting --- 681.3*D3 --- 681.3*I7 --- Automated typesetting --- Computer typesetting --- Typesetting --- Word processing --- Programming languages --- Text processing (Computing methodologies)--See also {681.3*H4} --- Computer programs --- Data processing --- Computerized typesetting. --- LaTeX (Computer file) --- LaTeX (Computer file). --- 681.3*I7 Text processing (Computing methodologies)--See also {681.3*H4} --- 681.3*D3 Programming languages
Choose an application
Computer systems --- Verification --- Computer systems - Verification --- Informatique --- Computer science --- Verification. --- 681.3*D24 --- 681.3*F22 --- 681.3*F31 --- 681.3*D24 Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Program verification: assertion checkers; correctness proofs; reliability; validation (Software engineering)--See also {681.3*F31} --- Verification of computer systems --- 681.3*F31 Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- Specifying anf verifying and reasoning about programs: assertions; invariants; mechanical verification; pre- and post-conditions (Logics and meanings of programs)--See also {681.3*D21}; {681.3*D24}; {681.3*D31}; {681.3*E1} --- 681.3*F22 Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Nonnumerical algorithms and problems: complexity of proof procedures; computations on discrete structures; geometrical problems and computations; pattern matching --See also {?681.3*E2-5}; {681.3*G2}; {?681.3*H2-3} --- Artificial intelligence. Robotics. Simulation. Graphics
Choose an application
Systèmes d'information. --- Information --- Apprentissage organisationnel. --- Gestion --- Technologie de l'information. --- Innovations. --- Informatique. --- 681.3*k6 --- 659.2 --- 681.3*K6 --- Management of computing and information systems: economics --- 681.3*K6 Management of computing and information systems: economics
Choose an application
Programming --- C (informatica) --- UML (unified modeling language) --- object oriented --- Object-oriented methods (Computer science) --- UML (Computer science) --- Méthode orientée object (Informatique) --- UML (Informatique) --- 681.3*D2 --- 681.3.02 --- 681.3.068 --- Object-oriented programming --- UML --- Unified Modeling Language (Computer science) --- Computer software --- Modeling languages (Computer science) --- Object development methods (Computer science) --- Object orientation (Computer science) --- Object-oriented development (Computer science) --- Object technology (Computer science) --- System design --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Development --- Object-oriented methods (Computer science). --- UML (Computer science). --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Méthode orientée object (Informatique)
Choose an application
OPL (computer program language) --- OPL (Computer program language) --- 681.3*D31 --- 681.3*D33 --- 681.3*G16 --- 681.3*G4 --- Optimization Programming Language (Computer program language) --- Programming languages (Electronic computers) --- Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages) --- Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} --- 681.3*G4 Mathematical software: algorithm analysis; certification and testing; efficiency; portability; reliability and robustness; verification --- 681.3*G16 Optimization: constrained optimization; gradient methods; integer programming; least squares methods; linear programming; nonlinear programming (Numericalanalysis) --- 681.3*D33 Languages constructs: abstract data types; concurrent programming structures;control structures; coroutines (Programming languages)
Choose an application
Internet --- 621.39 INTERNET --- 681.3 INTERNET --- 004.738.52 --- 340.16
Choose an application
681.3*C5 --- 681.3*C24 --- Computer system implementation (Computer systems organization) --- Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C24 Distributed systems: distributed databases; distributed applications; networkoperating systems --- 681.3*C5 Computer system implementation (Computer systems organization) --- Web site development --- Web sites --- Microformats --- Development of Web sites --- Internet programming --- Design --- Authorship --- Development --- Active server pages. --- ASP (Computer file)
Choose an application
Computer software --- -UML (Computer science) --- 681.3*D2 --- 681.3*D210 --- 681.3*D210 Design: methodologies representation (Software engineering) --- Design: methodologies representation (Software engineering) --- 681.3*D2 Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Software engineering: protection mechanisms standards--See also {681.3*K63} {681.3*K51} --- Unified Modeling Language (Computer science) --- Modeling languages (Computer science) --- Object-oriented methods (Computer science) --- Software, Computer --- Computer systems --- Development --- Développement --- Development. --- -infobib --- 004.415.2 --- OOP object oriented programming --- UML --- modelleren --- programmeren --- softwareontwikkeling --- 005.1 --- Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Design: methodologies; representation (Software engineering) --- ontwerp van programmatuur --- 681.3*D210 Design: methodologies; representation (Software engineering) --- 681.3*D2 Software engineering: protection mechanisms; standards--See also {681.3*K63}; {681.3*K51} --- Développement --- UML (Computer science) --- infobib --- software --- 681.3 --- Development of computer software --- Software development --- Computerwetenschap --- Programming --- 681.3* / / / / / / / / / / / / / / / / / / / / / / / / / / / / --- UML (Computer science). --- Logiciels --- UML (Informatique) --- Computer software - Development. --- Computer software - Development
Listing 1 - 10 of 53 | << page >> |
Sort by
|